Fixes #1005, printing of r.table_list()
Update instructions for migration
Update intro text about migrate script as well.
Merge pull request #1013 from eiriksm/patch-2

Update instructions for migration
Add info about which port to use.
Update README.md
Merge branch 'v1.6.x' into next
Tweaks to the configure script

Review 608 by @srh
Closes #948
fix dummy sever for example validation

Review 639 by @neumino
Closes #1020
Merge branch 'next' into sam_939_alt