A short history of web bots and bot detection techniques