Upgrade to JMH 1.4 and Java 7

There are a few minor changes in addition to migrations to new API:

- Maven POM now uses properties to manage JMH and Java versions.
- Printed results use the proper Unicode `±` character to separate scores from errors.
- One constructor call now uses the new diamond operator to elide the explicit type argument.