koka.cabal: added a description and source-repository field to satisfy 'cabal check'