use JSON for interlock definitions

The excel tables for the interlock definitions are now first converted into a simple Python data structure that can easily be dumped as a JSON. This can also be done manually and saved to a file. This file can be much more easily version controlled than the original excel file.