CI required for GitHub.
Merge pull request #33 from RiaanBurger/master

CI required for GitHub.