Exclude library_folders from cache options check
Exclude library_folders from cache options check

To be able to easily exchange cache files between users running the same
versions of CasADi and Pymoca, we need to disable the check for the
library folders. Paths are very much user dependent, and cannot be
easily set or overridden without raising errors elsewhere.

jgoppert/pymola,jgoppert/pymola