Integration with poly-devel.

https://github.com/mbezjak/poly-devel