core: Remove slashes from user id in filenames

Fixes #37
core: Make Doxygen usage optional

Patch by Ben Kohler to solve Gentoo bug 486126.
Merge branch '1.8-stable'