Various fixes:
1) The user can specify which program points he/she wants to profile
2) WCET information is not dumped to the program file by default
3) Fixed the instrumentation algorithm