v0.4

New release with some breaking changes:

• a cleaner API, moving some types outside the client-required interface
• remove push/pop (source of many bugs), replaced by solve : assumptions:lit list -> unit -> result
  for local assumptions
• some performance improvements
• many bugfixes
• more tests