test_pwm: port from Batteries to Internal_pervasives

Closes #74.
factor out Line from Lines

Incidentally, this led to more type safety. Some functions in Lines
interface were mistakenly using the string type instead of the abstract
item type.
doc/intro.txt: move few modules to different sections