Renamed phiability to SSA conversion, and added more introduction
Merge branch 'pws-doc' of https://github.com/antonijn/acc into pws-doc