PMLExport: support for loopbound annotations

* exporting the llvm.loopbound intrinsic
PMLExport: minor whitespace fixes and simplifications
PMLExport: stats counter for exported user loop-bound annotations