naming changes
small specs changes, finished json_misc.map

added full set of features to json_misc.map, including hashing over the
full map (which might need some changes still), full capability in both
the points and connections data format, gzip compression, pickling,
json, pretty printing for human readability.