Add a few references for motivic integration and computation