update to php-lib-json 0.2.x API, source formatting, include phpunit.xml.dist