Mashed Potato Gratin with Garlic and Onions