Update 0.12 from master#3159

kritzcreek merged 4 commits into

0.12.0-devpurescript/purescript:0.12.0-devfrom

masterpurescript/purescript:masterCopy head branch name to clipboard