remove unused miniColors

we are caring around miniColors for quite some time now - but it is (still/no longer/not yet) used in core.

Any app which is willing to use it has to ship it by itself.

@jancborchardt @georgehrke