[seL4] lighttpd as non root user in sel4webserver demo