Add a redirect from / to /jenkins/ for tomcat on jenkins