Add tips page to the book 2#1137

noughtmare wants to merge 7 commits intoplfa:devplfa/plfa.github.io:devfrom

noughtmare:jr/tipsnoughtmare/plfa.github.io:jr/tipsCopy head branch name to clipboard