Prefer dist when installing via composer
Add tests for PragmaManager (issue #13)