update karma to 0.12
add new generated files