Dump profiling results in properties files in order to ease later comparison