Revert "add openrave repository"

This reverts commit a3d5ff8c5e240f2932762d01c1a91e0b3172a01c.