CoIDE - definitions file, parsing specific options