Add error.php to our site and use to redirect short manual urls to the full manual urls

Fixes #185