Add flag definitions for DIOS system calls.
Implement handler indirection for dios_select() system call.
Pass executable file name to dios_init_task() (handler for DIOS task initialisation).