Delete build.bat

This file contains outdated build instructions (see issue #435)