Added unofficial PPA to get a newer version of PHP installed on travis