Bug#751458: Using the 10bit library

[djcj]

When I compiled and experimented a bit with version 0.142.2431 I figured 
out that the 10bit library does not work with the 8bit binary (despite 
being linked dynamically).
So I had to install both libraries and both binaries. I installed the 
10bit binary in the same folder as the library and used this script to 
work with it:
#!/bin/sh
LD_LIBRARY_PATH="/usr/lib/x86_64-linux-gnu/x264-10bit:$LD_LIBRARY_PATH" 
/usr/lib/x86_64-linux-gnu/x264-10bit/x264 "$@"

I recommend calling it x264-10b or x264-10bit.
Unfortunately I can't test the version in Sid as I'm using a different 
distribution.