Jacket potatoes roasted with garlic and rosemary