Case insensitivity in all string input

All json and gmsh input which are strings should convert to lower case internally before comparison (except file names, obviously) - things like boundary conditions in the gmsh file, and key words in the json.