There seem to be plenty of colds going around at the moment - so here's a possible aid you might not have considered: peppermints.