Made the maximal sharing compression optional

(related to issue rascal#97 and #40 )