Correct statistics for pool

Calculation of percentage of used addresses has been way off as 'used /
free' was used rather than 'used / total'. Don't know how that got in
there - brainfart probably :(

Fixes #553.
Merge pull request #555 from plajjan/553-fix-pool-stats

Correct statistics for pool