markdownfilter

Copy of the markdownfilter from the dune-project. This is put here to make it possible to build our gitlab without having a working dune-gitlab...