BASH scripts to automate AWS EC2 in an academic environment