PML/platin: export MBB src-loc hints in .pml

Requires a debug build (-g). Is currently used by the Platin IPET solver to
better communicate unbounded loops to the user.