Update 'secure's
Update 'secure's

Reference: https://docs.travis-ci.com/user/encryption-keys/

0. Install Ruby >= 2.1  (Only if you don't have one, i.e. in Ubuntu-14)

```
sudo apt-add-repository ppa:brightbox/ruby-ng
sudo apt-get update
sudo apt-get install ruby2.3
```

1. Install Travis CLI(Command-line Interface)

```
gem install travis
```

2. Secure Keys

```
cd <path/to/theorem_proving_in_lean>
# Creates the first secure.
travis encrypt -r leanprover/theorem_proving_in_lean REPO=BLESSED
# Creates the second secure. The personal access token can be made at https://github.com/settings/tokens , only check "public_repo"
travis encrypt -r leanprover/theorem_proving_in_lean GH_TOKEN=<YOUR_GH_TOKEN>    
```
Hodapp87/cs6460_project,Hodapp87/cs6460_project,Hodapp87/cs6460_project