[build] Add configuration file for Ubuntu 13.10.