Moved num_sched and friends from schedrev_xsb_i.h where they were defined inside a function (emuloop) to emuloop.c where they were defined globally. This means that they can be used when expanding the compstack.
Authored by: tswift 2019-08-12
Parent: [r9619]
Child: [r9621]