Add proper woff generation for extension

Instead of "hardcoded" woff font of unknown origin we should add tooling to generate it on-the-fly.

This will allow us also to dynamically generate different fonts for desktop and webide version