Final touches of the release notes 14.05
News item for Genode 14.05
doc: markup-fix in doc/porting_guide.txt