Memory leak fixed

Fixed memory leak in areas that queried $server_options properties.
Added Vagrantfile.