ranking.pl backend fix
I am now fixing the backend, which will take a while I am sure. There is 11 days worth of logs to do, and each set takes between 20 and 45 minutes to complete. I decided, for now at least, to ignore whatever is after the decimal point in the new logs. It might change later from always being 0 but I don't really care enough to fix it right now.