Actually make encoding with x265 work, from y4m sources as well as from STDIN sources. Also various smaller fixes.