bug: Fix windows bugs

 * Remove unused src directory in mavo project
 * Fix new line detection for smt nodes and edges on windows