add XLib.v in the README