make conjunct table and relate interfaces to conjuncts
Put interface conjunct names inside $allInterfaces

Makes the code simpler and safer.
Remove incorrect TODO
Fix: add missing urldecodes
Include interface name with dbCommands and pass to checkInvariantRules
Rename $allRulesSql ~> $allRules

The rules contain more than just SQL.
Rename $ruleSql ~> $rule
Remove (very old) prototype executable
Rename $allConjunctsSql ~> $allConjuncts + Move next to $allRules
Cleanup + Show ADL rule/conjunct expression and Haskell violation expression on --dev
Only list invariant conjuncts for each interface

Process-rule conjuncts may be added in the future.
Check invariant conjuncts instead of invariant rules
Remove obsolete $invariantRuleNames
Don't generate SQL for process-rule conjuncts + Cleanup
Merge pull request #9 from AmpersandTarski/generate-SQL-for-interface-commit-checks

Generate sql for interface commit checks
Fix menu bar layout to prevent invisible items

Not ideal yet: ScrollPane is positioned absolutely at 141, so now it will get obscured by the dark menu bar. Instead, the menu bar should get its required height, and ScrollPane should get the remaining page height.
Add wrapper element 'all-headers' around all header divs
Set height with JavaScript, rather than use absolute positioning
Add wrapper element button-panel to buttons
Add padding to resemble original layout