Merge replay related feature branch into master

Adds functionality for reading and replaying replay-files, as well as
relevant documentation. See merge request !6 for more details. Closes
issue #16.