Swiss onion au gratin