User-mode Linux sandbox for running student code