Add documentation and update CI script.

Close #21.