add a note about initial sync in download page
improve mining definition
add link to the FSF and use "free open source" (fixes #11)