Display image name on download buttons and improve the buttons' formatting#340

WasabiFan wants to merge 7 commits into

masterev3dev/ev3dev.github.io:masterfrom

enhance-downloads-pageev3dev/ev3dev.github.io:enhance-downloads-pageCopy head branch name to clipboard