prefix libisabelle version for cache directories
prefix libisabelle version for cache directories

This should make future updates more robust.

larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle