Bitburner: 2.5.1 Release

Any special options you have enabled in the File menu will need to be reselected after this update, due to a change in how these settings are stored internally. Also, a new previous_release branch has been added on stea…