Switch sipb-xen-base to build using a setup.py script