Set of commits to be tagged v0.16

See merge requests !6 (merged) and !7 (merged).

In addition, larvatagger.sh makes Docker argument --rm default for all commands that involve docker except build.