Third Party libraries used in this project These libraries are used without modification. NOTE: make git submodule for each of them so that we can easily update them.