Replace MenuFactory SplPriorityQueue by an array (optimization)

This is optimized #108 originally implemented by @adrienbrault.