Remove the unused option menu

Fixes issue #140

Change-Id: Idc04a45b97837c5f9bd1f975b6668b6539df0752