Formatting changes to function and poly multiplication modules.
Merge branch 'master' of https://github.com/avigad/polya
Fixed bug in importing lrs.