Major refactoring/cleanup to finish compilers;

- basic trigger can now be compiled to bitstreams;
- advanced triggers should be tested more, but should work;
- lots of cleanups of code.
Added a simple problem view.