[gandalf] Added modified config and batch for win64 build under Jenkins. Small fixes for win32. Those could be merged (and parametrized) later on.