Make HULK manually executable again

[schluis]

Currently, hulk needs special permission at startup to set the scheduler for real-time priority. It is thus not possible to manually start hulk, which can be convenient for debugging.

Possible solutions include:

• Adding a command-line argument to skip setting the scheduler
• Not panicking when failing to set the scheduler and only printing a warning