allow calibration_matrix to be a matrix() instead of an array() too; this is an old fix from fa2dbc231abb3861543c4a2e6 that got lost in merges
change RobotConfig _setSuccess() to _setLoadFailureFlag() and make more understandable
clean up RobotConfig by separating out _getCalibrationMatrixFromString()
remove 'None' from default in basicSim.robot, because this is implied
make hsub CallDescriptor end_pos match regex group end_pos (was off-by-one)
remove type-casting from MethodParameterConfig.setValue() because it is all done automatically now in parseCallString()
make RobotConfig.fromData() use parseCallString(), and clean up a little
remove confusing comment from hsubConfigObjects
update hsub method2string() and string2method()
remove updateParaFromString(), as it is no longer used
make configEditor use parseCallString() instead of regexes
update all example .config files to work with new handler naming structure
make State.getLTLRepresentation work correctly with bitX propositions (temporary backwards-compatibility patch)
add  option back into State.getLTLRepresentation()
make picosat errors more visible
start updating mopsy to use new Strategy class
make a proper deepcopy() for State objects
Merge branch 'fix_mopsy' into development