No longer require argv to be const

argv should not be const in main() according to the C++ standard.