Revert "Merge pull request #5 from camlunity/master"

This reverts commit 1d645f74e40a437f52320a021ce7643263d5ee08, reversing
changes made to c419375fda05c0fd273b228927fee7a0a3c4a221.
Merge branch 'master' into v0.8.5
0.8.5
0.8.5 documents
Deprecate web page
Merge branch 'v0.8.5'
DESTDIR