[RFC] Merge variants and theory-to-practice

[gfokkema]

Please read and comment, quite an extensive change.

Progress:

• [x] 0.0 Global introduction
• [x] 3.0 Introduction
• [x] 3.1 Approximating equiv(M) queries with member(w) queries
• [ ] 3.1.1 Chow’s W-method
• [x] 3.2 Limiting amount of queries
• [x] 3.3 Learning mealy-machines
• [x] 3.4 Systems without a reset

Reminder: cite Steffen11a pg 32 for exponential complexity of W-method and WP-method. Reminder: ZULU still seems interesting.

[Hjdskes]

Don't forget to rename files (uh oh :grin:) and to update the introduction.

[gfokkema]

I've decided it's wisest not to rename files :p Latex decides which number the chapter gets anyway.

[Balletie]

Other than above comments it is fine to merge for me.