idomenu: update recipe to fetch from GitHub
Merge pull request #2192 from camdez/idomenu-from-github

idomenu: update recipe to fetch from GitHub