A little PHP-MySQL proxy crawler and proxy checker