Remove is_integer check for cc5d94

Otherwise, calling this function with a menu name (e.g., main_menu)
instead of id, will fail.
Merge pull request #865 from driebit/remove-is-int-menu-subtree

Remove is_integer check for cc5d94