libsieve: new package
Merge pull request #4461 from VShell/libsieve

libsieve: new package
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
haskell-hakyll: Allow it to build again