Remove ubuntu-13.10 (saucy) which reached its EOL on 7/17