Remove the PHP 5.2 travis environment.