changed: readme file
added: project boolean_algebra
added: project finite_automata and subproject deterministic