670: move MiniOpenTk to 'external' folder