* added token "special_flags" to "levelinfo.conf" (currently with the
only recognized value "load_xsb_to_ces", doing the same as the flag
"-Dload_xsb_to_ces" on the command line, but as a permanent flag for
converting all elements in native (XSB) Sokoban level files to CEs)