AjaXplorer 4.2.3

Glad to announce the release of AjaXplorer 4.2.3
This is a final release for the 4.2 branch. See http://ajaxplorer.info/ for more infos.