using a user-definable Vim option to pass include path options to Agda