Measure domain and problem translation time

[GoogleCodeExporter]

Translating planner should measure the time it spent translating the domain so 
that it can be used for statistics.

Original issue reported on code.google.com by cerny.m on 11 Feb 2013 at 11:29