Removing submodule lua-php-library.