GitLab

This also removes the dependency on the syntax_tools and compiler
applications, which interfered with lager's startup/shutdown order.