Release odoc 1.4.1 this week

[aantron]

We'd like to release odoc soon, so that there is a release in opam with #364 and #351 merged in.

I (and @jonludlam) think the main outstanding issue is #367, about a difference in <span> output on 4.08 (see diff in Travis). I don't think this should block a 1.4.1 release with the bugfixes from the last few months; we can fix #367 later and include it in a future release. @dbuenzli, what's your opinion on this?

cc @Julow

[dbuenzli]

I have been using master for the past few days without seeing specific problems.

I think it would be good to have a release, especially the resolution of #294 is a significant usability improvement for .mld manuals and #360 is a good improvement for signature readability.

[aantron]

1.4.1 is out and installable from opam since about Tuesday.

[aantron]

The changelog can be found here.