A dgeni package for generating documentation from sofadoc comments