Propagate build error codes to user
Although using a background process in build_k_helper
allows for instant exiting after a build error, this error code is not propagated to the user. I've seen a lot of Piazza posts where people are confused by why their kernel is not updating. Hopefully this helps.