add html indentation plugin