dev-haskell/presburger: new package

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>