moved splint configuration to ~/.splintrc