Add PHP coveralls.