Perfected \\[bury-compilation-buffer-if-successful]

With help from hbhave, she is now complete.