Update test programs and rvex/rvex.{h,c} to the version from x264/rvex