Merge pull request #53 from Psychtoolbox-3/master

Resync with current master of official Psychtoolbox-3 repo. v3.0.12-SP5
Add intel 2.99.917 ddx without triplebuffering for XOrg 1.16 64-Bit.

A variant for XOrg 1.16 on x86_64 for Ubuntu 14.10. Again, a
DRI2 only build with TripleBuffer off by default, so we can
be certain this will do the right thing.

-> intel_drv.so_64BitForXOrg1-16-eg-Ubuntu14.10 with the new driver binary.
-> Documentation files updated.
-> No need for nouveau ddx, as 14.10 already ships a good 1.0.11 ddx.
Merge pull request #226 from kleinerm/master

Pull for small beta update.
A customized intel 2.99.917 ddx with DRI2 only and triplebuffer off for Xorg 1.16 64-Bit. (Ubuntu 14.10)
Merge pull request #227 from Psychtoolbox-3/master

PTB BETA RELEASE "Random acts of kindness" Psychtoolbox-3.0.12 - SP6

Add a intel-ddx variant for XOrg 1.16 on x86_64 for Ubuntu 14.10. Again, a
DRI2 only build with TripleBuffer off by default, so we can
be certain this will do the right thing.

This should settle us on Ubuntu 14.04 and 14.10 until Ubuntu upstream decides to make major changes like DRI3/Present + XOrg 1.16.3, which would make most of this totally redundant.