compcert: allow arch flags

Fixes #29569.
menhir 20140422
compcert 2.3pl2
drake 1.6

Closes #29598.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Updating LMDB to v 0.9.11, switching to gitorious
isntalling docs to man1
lmdb: add 0.9.11 bottle.