Correctly mount /proc when running in a Docker container (Closes: #921815)

Due to a missing check, we ended up symlinking $TARGET/proc -> /proc and calling umount on the symlink, and thus umounted the "hosts" /proc.