Set hard open file limit in addition to soft limit
This is necessary because the soft limit cannot exceed the hard limit.
On Ubuntu Server, the hard limit seemed to be 4096, so if we want
a soft limit of 8192, we must also raise the hard limit, which is
what this change does.
Merge branch 'master' of https://github.com/MalcolmEvershed/FrameworkBenchmarks