Rename "how to get" to "download"
Merge branch 'master' of https://github.com/atlesn/P-star
Merge branch 'master' of https://github.com/atlesn/P-star
Merge branch 'master' of https://github.com/atlesn/P-star
Use new DUMP_FILE in documentation page
Fix bug where only every other button was tested
Add page_top link to ease navigation
Merge branch 'master' of https://github.com/P-star/P-star