Add positive_integer validation
Convert to using ?_test macro from eunit
Merge branch 'of/positive_integer'

This adds a new type to the type list validated by envy;
positive_integer.

Thanks to @oferrigni for this contribution.