Allow equality symbol in the options

Created by: jad-hamza

This changes makes it possible to write --debug-objects=x_= in Stainless to debug setters.