Bump petsc4py version to 3.4.
Bump Trilinos version to 11.4.1.
Add platform file for Ubuntu 13.10.