tooltip of an input port is now updated after a channel gets deleted. therefore no non existing connections are shown in the tooltip. Related to issue #42
the tooltips of input ports now also show if they are synchronized
Merge branch 'master' of https://github.com/asterics/AsTeRICS