Merge pull request #1 from deepsea-inria/master

Updating documentation and fixing bogus configuration.
Adding experimental sequence library.
ok
Merge branch 'master' of https://github.com/mikerainey/pasl into edu
minor fixes.
Fixing broken use of move semantics.
Fixes.
Working on scan
Working on sequence.
Merge branch 'edu' of https://github.com/deepsea-inria/pasl into edu
First pass at adding granularity control
Added quicksort
Finished porting mergesort
Added basic quickcheck functions
Introduce more finely organized minicourse code base
cleanup
Specialized granularity controllers of higher-order functions.
Cleanup and todo
Correcting issue relating to string identifiers of granularity controllers.
Working on makefile