A string field theory for supergravity