Added flycheck and updated userstyle