Add bin directory and executable; update readme; extract specs from Mastermind module