Binary Ninja persistent database compatibility

Ensure that configurable Manticore settings like find/avoid instruction are able to be saved in a Binary Ninja Database so that when Binary Ninja is saved and closed, it can reopened and loaded with the same Manticore state to continue where you left off.

This would make it easier to share databases between people.