Lowered typescript version to 1.0.x, because higher does not work with gulp-tsc; fixed gulpfile with respect to karma