Add pulse triggers for Ubuntu 13.10 on production (#386)
Remove esr17 jobs due to no further support for those builds (#339)