Ciris v0.8.1

Some modules were not published correctly during the release of v0.8.0.
This release simply adresses that issue, and no other changes are made.

Released on 2018-03-11.