Change the number of processors to 4

It is more reliable to use our old machine with 4-cores to do the timing
measurements than to use Amazon's 8 virtual cores. It is not clear
what these virtual cores translate to.

See #13.