lwa-techniques. Implementation of algorithms described in "A coalgebraic perspective on linear weighted automata" and "Up-To Techniques for Weighted Systems"