Advanced Github Maintenance

Updating the AgentSpring submodule to the latest release

In order to update the AgentSpring repository to the lastest commit on AgentSpring, the following steps are necessary

1. Change to the AgentSpring directory with emlab-generation cd ~/emlab-generation/AgentSpring
2. Check-out the current master branch git checkout master
3. Update the master branch git pull
4. Get back the the emlab-generation main directory cd ..
5. Add the changes to AgentSpring to the current commit git add AgentSpring
6. Commit the changes and push them to emlab-generation git ci -m "Updated AgentSpring version git push EMLab develop

Make sure that if necessary all users manually update their develop branches by running git submodule update.