0.4 Release

Release of version 0.4 of Dolmen. Changes include:

• [bugfix] cleanup file descriptors after parsing
• [bugfix] correctly update position after comments in tptp
• Add mappers for std terms, as well as a normalization function
• Better documentation about the std term structure.
• Switch to dune for the build and installation