An asynchronous port scanner in PHP