Create and pass markers for platina annotations

A marker is an unmoveable intrinsic instruction (declared as having sideeffects)
possessing an unique id, which can be mapped back to an annotation instruction
to guarantee correlation between BC and MC level.