Factored out the looking up a resolver in the hashmap
Added the + split for the normal resolvers

Related to issue #742
Added support for compressing files in rascal

fixes #742
Added test for compression feature
Better handling of read only formats