Migration from v1.8 to v1.9

• Stop Tomcat and replace the WAR
• Replace the edx-plugins.jar archive in $TOMCAT_HOME/plugins
• Start Tomcat again