add env variable HERMIT_LOG
add env variable HERMIT_LOG

- if HERMIT_LOG is set, the proxy dumps after the termination
  of the process the kernel log

RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore