Executables added

Full Changelog: 1.0.0...1.0.1

1.0.0

Full Changelog: https://github.com/AztecCodes/PropLogic/commits/1.0.0

Release Version: 1.0.0
Release Typ: First main release