update files to match stdpp

_CoqProject

theories/algebra/lib/gmap_view.v

theories/algebra/reservation_map.v

theories/base_logic/lib/gen_heap.v

theories/base_logic/lib/iprop.v

theories/base_logic/lib/proph_map.v

theories/base_logic/lib/satisfiable.v

theories/base_logic/lib/wsat.v

theories/bi/big_op.v

theories/bi/internal_eq.v

theories/bi/lib/fractional.v

theories/bi/updates.v

theories/proofmode/coq_tactics.v