Revert "Merge branch 'dev-ui' of http://github.com/colobot/colobot into dev"

This reverts commit 5c16766002f913b53e8a53aeefb7f92b273d5c1f, reversing
changes made to e569fd6c3938ca885bfca0978d143def154abd73.