LIMDD: a decision diagram for simulation of quantum computing including stabilizer states