CHANGE StatusType to Enum

[shukon]

Implementing issue #81, adding human-readable mapping of StatusTypes. The originally wished for

\>\>\> print(mapping[status])

is realized through Enum as

\>\>\> print(status.name)

JSON-serialization of runhistories is affected: status is now saved by customized JSON-Encoder.
This might affect the possibility of reading in the JSON-file from another language/without the object_hook.

[coveralls]

Coverage increased (+0.08%) to 76.041% when pulling 82d729c on issue/#81 into 912b4de on development.

[coveralls]

Coverage increased (+0.08%) to 76.041% when pulling 82d729c on issue/#81 into 912b4de on development.

[coveralls]

Coverage increased (+0.08%) to 76.041% when pulling 82d729c on issue/#81 into 912b4de on development.

[mfeurer]

This looks good except for my one comment. I think we can assume that the runhistory.json file will either be only opened by people using python, or by people being able to manipulate a dictionary prior to assessing it.

[mfeurer]

We only want to parse a single enum, all other enums should not be parsed. Thus, I think this should be more restrictive.

[shukon]

Integrated a simple check for the name of the enum. Should a TypeError be raised if another enum than StatusType is detected?

if name == "StatusType": return getattr(globals()[name], member)
else: return obj

[coveralls]

Coverage increased (+0.09%) to 76.052% when pulling 4a088bb on issue/#81 into 912b4de on development.