Redirect http:8000 to https. Fixes #2