refinements of *-magik, elimination of ~/.bash_{login,profile}, normalization of ~/.profile -> ~/bin/login/profile; first working version of pygmentize-magik