Add a quiet/verbose flag to IdrisReload()

So that we know it's done something on \r if it succeeds.