fixed missing import
docserver: create directories before copy

fixes #6
docserver: versioned doc title

create a versioned doc title for new doc versions.

This implements #8