Idris mode reqires prop-menu to be installed, but that package wasn't availablein el-get. This commit adds a recipe for prop-menu, and updates the idris-mode recipe to depend on prop-menu. close #2300
