dummy_thread modified to have interrupt_main and to behave appropriately when

called.

Added announcement in Misc/NEWS for thread.interrupt_main and mention of
dummy_thread's change.