tree 18bc8bf3aada0522f80a65aa8291a3f948bd9aeb
parent ebe156c92f9907b37068b52c2dba351af78f5a09
author Davide Pesavento <davide.pesavento@lip6.fr> 1544314749 -0500
committer Alexander Afanasyev <aa@cs.fiu.edu> 1545847385 -0800

docs: refresh installation instructions and general cleanup

Change-Id: Ibfe945887e5cad979c1f9a78fd5a3062bb20a8b5