Maxwell Nuyens mnuyens

## filter-sgx-key.sh
source=apps/sgx/prepare_test_libs.py
to_remove=/tmp/lines_to_remove
first_line="KEY_HEAD_FOOT = '-----{} RSA PRIVATE KEY-----'"
git filter-branch -f --tree-filter "rm -rf nnvm/examples/sgx/enclave_private.pem apps/sgx/enclave_private.pem; ([ -f $source ] && grep -Fxq \"$first_line\" $source >> /tmp/grep-out && grep -Fvxf $to_remove $source > $source) || :" --prune-empty HEAD
	source=apps/sgx/prepare_test_libs.py
	to_remove=/tmp/lines_to_remove
	first_line="KEY_HEAD_FOOT = '-----{} RSA PRIVATE KEY-----'"
	git filter-branch -f --tree-filter "rm -rf nnvm/examples/sgx/enclave_private.pem apps/sgx/enclave_private.pem; ([ -f $source ] && grep -Fxq \"$first_line\" $source >> /tmp/grep-out && grep -Fvxf $to_remove $source > $source) \|\| :" --prune-empty HEAD