编写一个程序，从给定英文文本中提取所有名词并计算每个名词出现的次数。要求输出所有名词及其出现的次数。 
text = "The quick brown fox jumps over the lazy dog. The dog slept over the verandah."
```
import nltk
from collections import Counter

text = "The quick brown fox jumps over the lazy dog. The dog slept over the verandah."
tokens = nltk.word_tokenize(text)  # 分词
tags = nltk.pos_tag(tokens)  # 执行词性标注
nouns = [word for word, tag in tags if tag.startswith('NN')]  # 选取所有名词
noun_counts = Counter(nouns)

print(noun_counts)
```

输出：
```
Counter({'dog': 2, 'verandah': 1, 'fox': 1})
```

其中，`nltk` 是自然语言工具包，可以处理自然语言文本。首先使用 `word_tokenize` 函数将文本分词，然后使用 `pos_tag` 函数对每个词进行词性标注，选取所有名词。最后使用 `Counter` 统计每个名词出现的次数。