made revert-buffer more convenient to cope with cc-mode indentation bugs