Fix PooledDeviceAllocation for Python3

As desribed in issue #51, this will fix the PooledDeviceAllocation in Python3, by
making sure that PooledDeviceAllocation's can be casted to integers. This is
simply done by adding a ``__index__`` method, analogously to how
the normal DeviceAllocation class does it.