Mesa 10.1.3 is released

Mesa 10.1.3 is released. This is a bug-fix release, and is being released sooner than originally scheduled to fix a performance regression (vmware swapbuffers falling back to software) introduced to the 10.1.2 release.