update to NuoDB 2.0.2, add PHP 5.5