MCP server that holds vivado and allows access to vivado without starting a new batch command every time