Updated to OpenFst 1.3.3
Merge branch 'master' into pdtnbest