Sequence File InputFormat and other stuff for Stratosphere