How to install boogie

"How to install boogie" is not written yet.