Some useful video encoding shell scripts that serve as a front-end for MEncoder