Update os.cpp

added dispatcher function which is to be called at the end of each interrupt-may need to be changed a bit later-NICK