Added auto-refresh on resource change (third point of #380)
Added import module in console to the navigator (fifth point of #380)
Added copy, paste and delete for rascal modules (points 1 and 6 of #380)
Added rename/move (linked to #380)