Add bin directory and executable; extract specs from Mastermind module