Include line number in generated process names
Use ident_new instead of ident_uniq in loc_to_ident
Improved loc_to_ident algorithm
Always use native compilation if the bitcode file is larger than 100kB
Fix formatting bug in paginate_msg