Add two new constructors to ProgramBddContext

These take a vector and map of variable names/sizes, then call
the appropriate setIntVars() function.