3 commits

Author	SHA1	Message	Date
Abdelrahman Mahmoud	15bb566636	Remove a bunch of things that I don't think we need	2018-02-23 14:17:56 -05:00
Abdelrahman Mahmoud	c5398fd473	Work around the fact that the sourceforge https certificate is not valid	2018-02-23 12:19:02 -05:00
Umang Mehta	381df4a9af	Updating the README and adding the docker directory	2017-11-22 16:04:05 -05:00