Merge pull request #16 from zapletal-martin/master

Documentation changes.
Documentation changes.
Basic testing + fixes + formatting
Merge remote-tracking branch 'upstream/master'
Documentation changes.