add build_website.sh script

Build the website, don't nuke <code>build/</code>. Needed now that we're moving the website from RTD to our own hosting.
AFAIK there are no submodules in this repo. Actually, I just realized that this checkout is probably happening outside of the other repo, correct? Then I guess it doesn't matter. Sorry for the confusion.