String Graph and various updates to Phabricator

Summary: All changes merged into one huge diff.

Test Plan:
1. Unit tests.
2. Test case small -> visual inspection

Reviewers: msikic

Differential Revision: http://valeria.zesoi.fer.hr:8082/D5