added php coveralls and vagrant