interface/python.cc: handle "void *user" arguments in constructors
interface/python.cc: handle "void *user" arguments in constructors

Some constructor functions (e.g. isl_id_alloc) have a "void *user"
argument. We now support such constructions in the Python bindings
by hiding the "void *user" argument.

Signed-off-by: Armin Größlinger <20499c970f7c0eda8225790b08562c50f62bf51a@uni-passau.de>
Signed-off-by: Andreas Simbuerger <4e36f5f0582938a4a7f28b9e3a851ef9b04efad3@fim.uni-passau.de>

simbuerg/isl,simbuerg/isl,simbuerg/isl,simbuerg/isl,simbuerg/isl