[WIP] docker + fig.

Character encoding broken in container.
Fix broken UTF-8 encoding by using another image based on ubuntu.