Added first draft of documentation

- Added graph for Finite State Automata (LaTeX)
- Cleaned up doc/ folder