Trying out the Development Workflow!

[Frama-99]

Add your name and Github profile to the README! The slides on the general development workflow start on slide 10 and the overview is on slide 16. For this particular exercise, you only need to do the following steps:

• Pull the latest code onto your local machine
• Make a new branch called something like "hello-<your name here>"
• Add your name and Github profile to the README
• Add, commit, and push the changes to remote (i.e. Github)
• Make a pull request and assign a reviewer (try going for someone who's not me!)

(Small correction: it looks like you won't be able to do the merge yourself :/ but once you make the pull request I will merge it for you!)