Command-line flags of type double should accept integer values

For convenience, command-line flags of type double should accept integer values (as well as the normal double values). This would allow users to write the short form, e.g:

-XX:G1ConcMarkStepDurationMillis=10

instead of always having to do:

-XX:G1ConcMarkStepDurationMillis=10.0