Merge pull request #1009 from nlohmann/user_string_parser

Allowing for user-defined string type in lexer/parser