Reorder provisioning to properly work with the custom php.ini
Remove dotdeb repository due to incompatibility with Ubuntu