Lots of small improvements

• Added a run command to the cli to run circuit headless
• Main open dialog is able to open FSM and Truth Tables
• FSM editor highlights the current transition
• Allows disabling LED's in the measurement graph
• Adds drivers with inverted output
• Adds a minified circuit as a new shape for embedded circuits
• Highlights the input connection port in the multiplexer when the
  input is selected.
• Allows recovering from oscillations.
• Supports XDG_CONFIG_HOME environment variable
• Fixes a bug in max path len calculation