fix #169. Correctly calculated execution time for each slice of logic. Corrections:
1. Use just one timer per program. Stopwatch class was made singleton.
2. Printed some pieces of time that were ignored previously, such as init time and cleanup time.
Merge branch 'master' of https://github.com/kframework/k