Adding binary (binary_big_M) decomposition type#50

dalyw wants to merge 3 commits intomainwe3lab/eeco:mainfrom

feature/binary_decomposewe3lab/eeco:feature/binary_decomposeCopy head branch name to clipboard