update tycho version

[gyorb]

• update the currently used Tycho version to a newer (latest?)
• extend developer documentation about Tycho

[vodorok]

Tycho was updated to 1.4 in #167, and there is now a developer documentation. The latest Tycho is 1.51, but it's a snapshot release.