Use JSON instead of pickle files

[LukasBommes]

Currently, camera calibration parameters and some intermediate data (e.g. quadrilaterals) are stored as pickle files. They should rather be stored as human-readable JSON files. this would enhance portability, allow for easier debugging, and enable manual editing of e.g. calibration parameters.