Documentation.
Merge remote-tracking branch 'upstream/master'
Merge pull request #16 from zapletal-martin/master

Documentation changes.