Disgruntled ex-Disney employee learns fate after hacking into menus at park restaurants, changing allergen info