polish docs, minor compact fixes, and add makefile for automatic setup#56

Fe-r-oz wants to merge 2 commits intoesabo:devesabo/CodingTheory:devfrom

Fe-r-oz:fa/polish-docsFe-r-oz/CodingTheory:fa/polish-docsCopy head branch name to clipboard