Extend halo-swap API to keep track of clean/dirty status

[arporter]

Since PSyclone only at the level of Invokes, it requires some mechanism for keeping track of whether a halo swap is required between different invokes. In this Issue we'll add support for marking a halo as dirty/clean and querying its status.