added a way to pass initial parameters to coqtop (e.g. -I , -R) . These are provided in tthe IDE settings Editor -> Miscelleneuous -> CoqOptions
Make sure that the paths in -R and -I are absolute; relative paths will are interpreted w.r.t the path of the file being opened.