The US government has released declassified documents taken during the 2011 raid that killed Osama Bin Laden.