* compress text assets for docs, when uploading * reorder args * ensure old files are deleted * recurse on the cp * set source path correctly
This moves all the bot-related files to `dev/bots`, hiding it from our home page in github. Also, simplifies the travis setup, though that doesn't do any difference to the performance sadly.