[#1728] Use MySQL ping if apropriate, a SELECT 1 otherwise

Conflicts:
	framework/src/play/db/DBPlugin.java
	framework/src/play/db/jpa/JPAPlugin.java