moving splint configuration to ~/.splintrc