Add getNth() method: get clauses from positions.
[auto] Merge from Praspel

    • #fe57496 — Add getNth() method: get clauses from positions. (Ivan Enderlin, 2013-09-17)

---

Merge remote branch 'library-praspel/master'