docs: add missing libsel4bench library from helloworld build dependencies