Added first draft of documentation

- Added graph for Finite State Automata (LaTeX)
- Cleaned up doc/ folder
Merge remote-tracking branch 'origin/master' into simon-experimental