Added function adminer_download(); to download latest Adminer PHP file