Merge branch 'cleanup' into 'master'

git status -s

echo "-----------------------------------------------"

# {{{ clean up

rm -Rf .env

rm -Rf build

find . -name '*.pyc' -delete

rm -Rf env

git clean -fdx -e siteconf.py -e boost-numeric-bindings $GIT_CLEAN_EXCLUDE

if test `find "siteconf.py" -mmin +1`; then

  echo "siteconf.py older than a minute, assumed stale, deleted"

  rm -f siteconf.py

fi

# }}}

if [ "$(uname)" = "Darwin" ]; then

  PLATFORM=MacOSX

else