Added functions to produce human readable output.

Now unknown is only annotated, if no other annotation -regardless of Go
type - could be assigned. If more than one Go annotations are equally
scoring the longest one is selected.