Fix benchmark config and customize tomcat config

URLs listed in the benchmark_config file were wrong, since
the "/spring" prefix is gone now.

Also customized the Embedded Tomcat configuration for benchmark
purposes.