Beginings of the TLA+ blog post.
Add How to kill a linux vm in azure post
Merge branches 'kill-az-linux-vm', 'master', 'tla-plus-post' and 'master' of https://github.com/bgianfo/bgianfo.github.io