Merge branch 'better-offset-treatment' into 'master'

Allow names, exprs, None, and lp.auto for array offsets

See merge request !114