Created make.py script: handy tools for us developers!

python make.py doc - build docs
python make.py doc show - show generated docs in browser
python make.py website - build website
python make.py website show - show generated website in browser
python make.py website upload - commit and push the website html

More to come: tests, tests on images, ...