Get number of available devices

[alexander-g]

For serious applications one needs to know if and how many devices are available on the system. Currently there is no built-in method to find this out.
Even worse, a segfault is issued when trying to create a Manager for a non-existing device index. This makes it impossible to enumerate devices in a loop.