Rename LovaszLenstra.cabal to LovaszLenstra.cabal-