Update menu check logic
Updates the menu checking logic for the insert and extract scripts to reflect the change in the TriggerDB schema to having the super-master-key defined by the L1 menu, HLT menu, and HLT JO. This means that a SMK can now have a null value for one of these three entries.
The script arguments --l1menu, --hltmenu, and --hltjo now accept numerical IDs of existing keys, to allow asynchronous uploading of the different menu files.
To upload without specifying a menu file or numerical ID, the option 'off' can be passed to these arguments. If nothing is passed to these arguments, the upload will not proceed (this is to make sure that people do not upload a new SMK just because they have forgotten to specify one of the arguments).
The MR also updates the upload record mechanism to include details of existing files linked to a SMK, and adds a script to list the menus associated to a given SMK.