Rewrite gd_ioctl_gen as gd_stube_gen in Python to permit nicer syntax; also implement syscall stub/dispatcher generation