Lard Compilation Tools User Guide