Redirect '/' to 'doc/index.html'; fixes #3