WIKBasic: Now reads devID from config file, and devID input box can be disabled by setting devid_enabled to False in config file