A fix to the build and the jump-to-definition feature. Fixes #544, fixes #633

I need some help for supporting the Command Center, because currently I'm working with the EditorColorizer of the current EditorArea, which in the Code tab serves both targets: a) the current token, b) the procs available. In the Command Center those two splits to different instances, the Command Center for the current token, and the Code tab for th procs available.