It can make sense to reboot a server manually under some circumstances, for example if the load raises too high for further debugging. To enable you to issue such reboots by yourself, we allow the reboot alias command for the devop user as of now.
Reference #578
