added analyze-spec-benchmarks as submodule