re-implement CONJ_ASM1_TAC, CONJ_ASM2_TAC using USE_SG_THEN now one-line implementation of these tactics
Docfiles for CONJ_ASM{1,2}_TAC. Closes #50.