Add a JQplot option to change the dot size in server status monitor

Signed-off-by: Marc Delisle <marc@infomarc.info>
Merge branch 'master' of https://github.com/phpmyadmin/phpmyadmin