Merge pull request #205 from sej7278/master

"make show_boards" now lists the board name as well as board tag.