0.13 release notes
Makefile: Remove travis-ci icon from generated stbt.html man page

travis-ci is a continuous integration service. This icon shows the
current status of the build & tests on the current master branch, so it
doesn't belong on the man page for a specific stbt version.