Add documentation

This fixes #15