volk: added volk_list_machines and volk_get_machine to get information about the available machines on the platform. Available through volk-cofig-info.

Fixed volk- and gnuradio-config-info to catch exception when bad option is passed to it.