fixed installation until Clafer Tools is added to the official Package Control Channel