Added Metrics.java: extensive support for experimental measuring of performance by different metrics on several games/levels, and double output: to StdOut and to several timestamped files