Bump symbol versions

Both 5.5.0 and 5.6.0 introduce new symbols, but the former was
never even imported into the packaging repository, let alone
uploaded to Debian; 5.3.0 didn't introduce any new symbols.