remove misc folder from git
add misc to gitignore
remove well-known from git