dynamic menu for make commands

it lists all make commands possible.
(We can detach the menu to always have it on top.)
todo: put it in the global django menu.
thanks to http://kitchingroup.cheme.cmu.edu/blog/2014/08/20/Creating-a-dynamic-menu-for-Emacs/