SimpleSecureHTTPServer.py: update from https://gist.github.com/ubershmekel/6194556, now uses python3