fix platform for ringo frameworks

we embed jetty, not the other way around :)
Merge pull request #527 from oberhamsi/fix-ringo-platform

fix platform for ringo (benchmark_config)