Why developers like FStar