Support builds that doesn't use cabal for libs and rts
Parsing for quasiquotes
Elaborate quasiquotes
Elaborate qquotes in fresh proof state
Initial support for unquotes
Support simple quasiquote patterns
Allow reflecting types with quasiquote patterns
Quasiquotes in CHANGELOG
Add simple test for quasiquotations
Merge remote-tracking branch 'upstream/master' into quasiquote

Conflicts:
	CHANGELOG
Implement unquoting for the rest of PTerm
Elaborate quasiquote patterns to something useful

This causes parts of the terms that either vary unpredictably or don't
contain interesting information to be elaborated to _ in a pattern-match
context.
Update comments to fit the state of the code
javascript: implement %lib directive for node
adjusted CHANGELOG
Merge pull request #1338 from raichoo/javascript

javascript: implement %lib directive for node
javascript: do not include jsbn if not needed
Merge pull request #1339 from raichoo/javascript

javascript: do not include jsbn if not needed
javascript: fix indentation error
javascript: remove old namespaces