Adding missing paket.lock file