Bump dox version, release 0.1.3