Minor tweaks.

Added developer credit to the bottom of the window.

Re-positioned a few widgets.

Changed the return type of the match_truth_table function from bool to
void.