Is it possible to remove the dev tools in the Kiban?

@aziz you can't currently disable applications/plugins based on the authenticated user. It's something that we're looking into, but it's not currently possible.