timing info in README

Add some information about timing to README:
- compile time of files
- compile time of tactics