Added PHP compatibility and tweaked coveralls command