more flexible encode_exported script
encode_exported.py: added audio-video sync option
added ColoredGridMapDemo, with sonotopic hue