update jmeter version to 2.12 (Apache pulled the 2.11 published archive)